CPA beats oo-CFA
نویسنده
چکیده
Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are k-CFAs and Agesen’s Cartesian Product Algorithm (CPA). It is common sense that k-CFAs (for increasing ks) form a hierarchy. Yet, what is the relative precision of k-CFA and CPA? Grove and Chambers [2] conjecture that CPA is more precise than ∞-CFA. For a core object-oriented language, we formally compare the precision of ∞-CFA and CPA. We prove that CPA is indeed strictly more precise than∞-CFA. On a theoretical level, this result confirms the findings of empiric studies concluding the superiority of object-sensitivity with respect to call-string sensitivity.
منابع مشابه
5-hydroxyindolacetic acid (5-HIAA), a main metabolite of serotonin, is responsible for complete Freund's adjuvant-induced thermal hyperalgesia in mice
BACKGROUND The role of serotonin (5-hydroxytrptamine, 5-HT) in the modulation of pain has been widely studied. Previous work led to the hypothesis that 5-hydroxyindolacetic acid (5-HIAA), a main metabolite of serotonin, might by itself influence pain thresholds. RESULTS In the present study, we investigated the role of 5-HIAA in inflammatory pain induced by intraplantar injection of complete ...
متن کاملResolving and Exploiting the $k$-CFA Paradox
semantics: k-CFA ((f e), β̂, σ̂, â) ; (e′, β̂′, σ̂′, â′), where Ê(f, β̂, σ̂) ∋ 〈(λ (x) e′), β̂′′〉 â′ = ⌊l · â⌋k Ê(e, β̂, σ̂) = d̂ β̂′ = β̂′′[x 7→ â′] σ̂′ = σ̂ ⊔ [â′ 7→ d̂] And: Ê(x, β̂, σ̂) = σ̂(β̂(x)) Ê((λ (x) e), β̂, σ̂) = {〈(λ (x) e), β̂〉} Resolving and Exploiting the k-CFA Paradox, New England Programming Language and Systems Sysmposium, MIT, December, 2009 – p.5/22 The Paradox of k-CFA Resolving and Exploiting ...
متن کاملP01.08. Acupuncture alleviates affective dimension of pain in a rat model of inflammatory hyperalgesia
Methods An inflammatory pain rat model, produced by a complete Freund adjuvant (CFA) injection into the hind paw of each rat, was combined with a conditioned place avoidance (CPA) test. On day one, time spent by the rats in each of two distinct compartments during a 10min period was recorded. On day two, each rat explored one of the conditioning compartments for 30 min. Two hours after the CFA ...
متن کاملExamination of host immune resistance against Listeria monocytogenes infection in cyclophosphamide-treated mice after dietary lipid administration.
BACKGROUND & AIMS Despite the beneficial effects in the resolution of inflammatory disorders due to their immunosuppressive properties, n-3 polyunsaturated fatty acids are associated with a reduction of immune resistance to some microorganisms. Here, we examine the influence of different dietary lipids on host immune resistance against Listeria monocytogenes in mice treated with cyclophosphamid...
متن کاملShort (resp. Fast) CCA2-Fully-Anonymous Group Signatures using IND-CPA-Encrypted Escrows
In the newest and strongest security models for group signatures [7, 10, 41], attackers are given the capability to query an Open Oracle, OO, in order to obtain the signer identity of the queried signature. This oracle mirrors the Decryption Oracle in security experiments involving encryption schemes, and the security notion of CCA2-full-anonymity for group signatures mirrors the security notio...
متن کامل